The Sketching Approach to Program Synthesis
نویسنده
چکیده
Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses partial programs to describe the desired implementation strategy, and leaves the low-level details of the implementation to an automated synthesis procedure. This paper describes the sketching approach to program synthesis, including the details of the Sketch language and synthesizer. The paper will then describe some of the techniques that make synthesis from sketches possible, and will close with a brief discussion of open problems in programmer guided synthesis.
منابع مشابه
Sketch4J: Execution-Driven Sketching for Java
Sketching is a relatively recent approach to program synthesis, which has shown much promise. e key idea in sketching is to allow users to write partial programs that have “holes” and provide test harnesses or reference implementations, and let synthesis tools create program fragments that ll the holes such that the resulting complete program has the desired functionality. Traditional solutio...
متن کاملProgram Sketching via CTL* Model Checking
Sketching is an approach to automated software synthesis where the programmer develops a partial implementation called a sketch and a separate specification of the desired functionality. A synthesizer tool then automatically completes the sketch to a complete program that satisfies the specification. Previously, sketching has been applied to finite programs with a desired functional input/outpu...
متن کاملCurrent Discussions on Digital Sketching in the Early Stages of Architectural Design in Education
In the architectural design, designers are focused on the early stages of the design process or conceptual design. The ultimate goal of this stage is to find a solution for an existing problem, investigate design space, or explore an idea. This stage conventionally begins with sketches and diagrams to explore ideas and solutions; the ambiguity and vagueness of conventional freehand sketching ca...
متن کاملReactive Synthesis using Sketching
We first formalize the idea of using sketching(completing partial programs using specifications) in reactive synthesis. Then we develop a sound and complete approach to solve the problem. We also present a couple of examples that demonstrate the boundaries/advantages/disadvantages of this approach.
متن کاملSketching Sonic Interactions by Imitation-driven Sound Synthesis
Sketching is at the core of every design activity. In visual design, pencil and paper are the preferred tools to produce sketches for their simplicity and immediacy. Analogue tools for sonic sketching do not exist yet, although voice and gesture are embodied abilities commonly exploited to communicate sound concepts. The EU project SkAT-VG aims to support vocal sketching with computeraided tech...
متن کامل